and R be the relation